Proofs of Propositions for Let the Pirates Patch ?
نویسنده
چکیده
Proof of Lemma B.1: For the sake of clarity in exposition, we will defer the proofs for the statements vsp= vp=1 when πaα≥ cp and πdcd≥ p to Lemmas B.2 and B.3. When πaαπdcd, under both policies l and nl, we have vsp= vp=1. This is because (A.3), (A.12), and (A.17) will not hold for all v ∈V. Now by (A.2) and (A.16), the equilibrium unpatched population is in the form u(σ)= ν(vsp − vs) + (1− ν)(vp − vb) . (B.6)
منابع مشابه
Extensions of Saeidi's Propositions for Finding a Unique Solution of a Variational Inequality for $(u,v)$-cocoercive Mappings in Banach Spaces
Let $C$ be a nonempty closed convex subset of a real Banach space $E$, let $B: C rightarrow E $ be a nonlinear map, and let $u, v$ be positive numbers. In this paper, we show that the generalized variational inequality $V I (C, B)$ is singleton for $(u, v)$-cocoercive mappings under appropriate assumptions on Banach spaces. The main results are extensions of the Saeidi's Propositions for fi...
متن کاملLet the Pirates Patch? An Economic Analysis of Software Security Patch Restrictions
W study the question of whether a software vendor should allow users of unlicensed (pirated) copies of a software product to apply security patches. We present a joint model of network software security and software piracy and contrast two policies that a software vendor can enforce: (i) restriction of security patches only to legitimate users or (ii) provision of access to security patches to ...
متن کاملLet the Pirates Patch? An Economic Analysis of Network Software Security Patch Restrictions
Piracy has long been an important concern for the software industry. The relative ease of reproducing and distributing software, as with any digital good, combined with the high value that many software products command makes software a prime target for piracy and unlicensed use. Today, an estimated every third copy of Microsoft’s widely used Windows operating system is unlicensed (Fried 2005),...
متن کاملRevisiting Parametricity : Inductives and Uniformity of Propositions
We present a new parametricity translation for a significant fragment of Coq. Previous translations of parametrically polymorphic propositions allowed nonuniformity. For example, on related instantiations, a function may return propositions that are logically inequivalent (e.g. T rue and False). We show that uniformity of polymorphic propositions is not achievable in general. Nevertheless, our ...
متن کاملRevisiting Parametricity: Inductives and Uniformity of Propositions
Reynold’s parametricity theory captures the property that parametrically polymorphic functions behave uniformly: they produce related results on related instantiations. In dependently typed programming languages, such relations and uniformity proofs can be expressed internally, and generated as a program translation. We present a new parametricity translation for a significant fragment of Coq. ...
متن کامل